1. C'è spazio per tutti :
پدیدآورنده: Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Geometria-- Saggi
2. C'era una volta un paradosso :
پدیدآورنده: Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Illusion (Philosophy),Paradox.,Paradosso.,Illusion (Philosophy),Logica.,Paradox.
رده :
BC199
.
P2
O35
2001
3. Caro Papa, ti scrivo :
پدیدآورنده: Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Cristianesimo-- Rapporti [con le] Scienze
4. Classical recursion theory : the theory of functions and sets of natural numbers
پدیدآورنده : Piergiorgio Odifreddi,Title
موضوع : Recursion theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
5. Classical recursion theory : the theory of functions and sets of natural numbers
پدیدآورنده: Odifreddi, Piergiorgio, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Recursion theory
رده :
QA
9
.
6
.
O35
1989
6. Finite versus infinite :
پدیدآورنده: Cristian S. Calude and Gheorghe Păun [eds.].
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science -- Mathematics.,Finite, The.,Infinite.
رده :
QA295
.
C757
2000
7. Il club dei matematici solitari del prof. Odifreddi /
پدیدآورنده: a cura di Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Matematica
8. Il matematico impenitente /
پدیدآورنده: di Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Religione e scienze.,Scienze e fede.
9. Il matematico impertinente /
پدیدآورنده: di Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Matematica.
10. Il museo dei numeri :
پدیدآورنده: Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: MATEMATICA-- ANEDDOTI
11. In principio era Darwin :
پدیدآورنده: di Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Darwin, Charles Robert - Teoria dell'evoluzione.,Evoluzione-- Teorie.
12. Incontri con menti straordinarie /
پدیدآورنده: di Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Scienziati-- Interviste.,Scienziati-- Sec. 20.-- Interviste.
13. La matematica del Novecento :
پدیدآورنده: Piergiorgio Odifreddi ; prefazione di Gian Carlo Rota.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Matematica-- Sec. 20.
14. La via lattea /
پدیدآورنده: di Piergiorgio Odifreddi e Sergio Valzania ; con la partecipazione di Franco Cardini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Pellegrinaggi-- Santiago de Compostela-- Diari e memorie.
15. Le menzogne di Ulisse :
پدیدآورنده: di Piergiorgio Odifreddi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logica matematica.,Logica-- Storia.
16. Logic and computer science
پدیدآورنده: Edited by Piergiorgio Odifreddi
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
9
.
L6
1990
17. Logic and computer science
پدیدآورنده: / S. Homer... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Logic, Symbolic and mathematical -- Congresses,Programming language (Electronic Computers)--Syntax,Computational complextiy -- Congresses
رده :
QA
9
.
A1L6
1990
18. Logic and computer science
پدیدآورنده: edited by Piergiorgio Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic, Symbolic and mathematical,، Computer science
رده :
QA
9
.
L5
1990
19. Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده: S. Homer ... ]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
Vol
.
1429
20. Logic and computer science: lectures given at the 1st session of the Centro internazionale matematico estivo )C.I.M.E.( held at Montecatini Terme, Italy, June 20-28, 1988
پدیدآورنده: S. Homer...]et al.[; editor, P. Odifreddi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Congresses ، Logic, Symbolic and mathematical,Congresses ، Programming )Mathematics(,Congresses ، Computational complexity
رده :
QA
3
.
L28
no
.
1429